- 逻辑完备性
- logic: n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
- completeness: 完备性; 完成度; 完全程度; 完全度; 完全性; 完善度; 完整性
- absolute completeness: 绝对完全性; 绝对完整性
- actual completeness: 实际完备性
- axiom of completeness: 完备性公理
下载手机词典可随时随地查词查翻译
logic completeness中文什么意思
- 逻辑完备性
下载手机词典可随时随地查词查翻译
例句与用法
- Another important problem in multiple - valued logic completeness theory is decision for sheffer functions , which reduced to determining the minimal covering of precomplete classes in multiple - valued logic
多值逻辑完备性理论中的另一重要问题是sheffer函数的判定问题，此问题可归结为定出所有极大封闭集(准完备集)的最小覆盖。 - Followed the proving of validness of axioms is the proving of soundness and consistency for the negotiation logic . based on a series of propositions and lemmas , the completeness of the negotiation logic is proved by construction . then the logic completeness and the consistency of ctn system are presented
在对公理的有效性进行证明之后，证明了协商推理逻辑的可靠性和无矛盾性；在得出的一系列命题和引理基础上，以构造的方法证明了协商推理逻辑的完全性，最后得出协商推理逻辑的完备性和整个ctn系统的无矛盾性。